A space X is compact if and only if every net (xα) in X has a subnet with a limit in X. This can be seen as a generalization of the Bolzano–Weierstrass theorem and Heine–Borel theorem. Một không gian X là compact nếu và chỉ nếu mọi lưới (xα) trong X có một lưới con với một giới hạn trong X. Điều này có thể được xem như một tổng quát hóa của định lý Bolzano-Weierstrass và định lý Heine-Borel.